A logic road from special relativity to general relativity
نویسندگان
چکیده
We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we “derive” an axiom system of general relativity in two natural steps. We will also see how the axioms of special relativity transform into those of general relativity. This way we hope to make general relativity more accessible for the non-specialist.
منابع مشابه
The Principle of Relativity: From Ungar’s Gyrolanguage for Physics to Weaving Computation in Mathematics
This paper extends the scope of algebraic computation based on a non standard $times$ to the more basic case of a non standard $+$, where standard means associative and commutative. Two physically meaningful examples of a non standard $+$ are provided by the observation of motion in Special Relativity, from either outside (3D) or inside (2D or more), We revisit the ``gyro''-theory ...
متن کاملLogic and relativity theory
István Németi, together with Hajnal Andréka founded and lead the Hungarian logic and relativity school. They havemade numerous significant contributions both in logic and in relativity theory and in their interconnections. To celebrate their contributions, on the occasion of István’s 70th birthday, a series of conferences focusing on logic and relativity theory, and beyond, was inaugurated by T...
متن کاملLogical Axiomatizations of Space- Time. Samples from the Literature
We study relativity theory as a theory in the sense of mathematical logic. We use first-order logic (FOL) as a framework to do so. We aim at an “analysis of the logical structure of relativity theories”. First we build up (the kinematics of) special relativity in FOL, then analyze it, and then we experiment with generalizations in the direction of general relativity. The present paper gives sam...
متن کاملBulk Viscous Bianchi Type VI0 Cosmological Model in the Self-creation Theory of Gravitation and in the General Theory of Relativity
In the second self-creation theory of gravitation and in the general theory of relativity, Bianchi type VI0 cosmological model in the presence of viscous fluid is studied. An exact solution of the field equations is given by considering the cosmological model yields a constant decelerations parameter q=constant and the coefficients of the metric are taken as A(t)=[c1t+c<su...
متن کاملLogic of Space-Time and Relativity Theory
2 Special relativity 4 2.1 Motivation for special relativistic kinematics in place of Newtonian kinematics . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.2 Language . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 2.3 Axiomatization Specrel of special relativity in first-order logic 15 2.4 Characteristic differences between Newtonian and special relativistic kinematics . . . ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Synthese
دوره 186 شماره
صفحات -
تاریخ انتشار 2012